arithmetic sentence造句

For example, there are formulas in the language of arithmetic defining the set of codes for arithmetic sentences, and for provable arithmetic sentences.
For example, there are formulas in the language of arithmetic defining the set of codes for arithmetic sentences, and for provable arithmetic sentences.
:: As a general thought, I find it interesting that if there is really such a thing as a random coin flip, then the physical universe offers us an extremely large collection of easily accessible arithmetic sentences that are almost certainly true but which cannot be proved from axioms.
It's difficult to find arithmetic sentence in a sentence. 用arithmetic sentence造句挺难的